<div>
  È possibile specificare il percorso di determinati strumenti su questo nodo,
  sostituendo la configurazione globale. (Si potrebbe preferire l'utilizzo di
  programmi di installazione automatici per gli strumenti, rimuovendo la
  necessità di configurare separatamente ogni nodo.)
</div>
